Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
101	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
102	Vol. 70, No. 2/3, August/September[removed]Reprinted from INFORMATION ANU CONTROL Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-05-22 14:48:41 Theory of computation Functions and mappings Function Recursively enumerable set Recursion Primitive recursive function Fixed-point combinator Mathematics Theoretical computer science Computability theory
103	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
104	JErlang: Erlang with Joins Hubert Plociniczak1 and Susan Eisenbach2 ´ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-04-07 07:05:53 Subroutines Lambda calculus Recursion Ericsson Erlang Closure Actor model Pattern matching Fixed-point combinator Computing Software engineering Computer programming
105	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
106	R. M. McCLUR£, Editor Regular Expression Search Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2011-08-19 12:27:48 Procedural programming languages Lambda calculus C Cross-platform software ALGOL 68 Stack Fixed-point combinator P-code machine X86 assembly language Software engineering Computing Programming language theory
107	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic
108	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus
109	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic

UPDATE